<?php
	ini_set('date.timezone','Asia/Shanghai');//调整时区
	session_start();
	$_SESSION['robot']=$_POST['robot'];
	$_SESSION['s_time']=$_POST['s_time'];
	$_SESSION['e_time']=$_POST['e_time'];
	$_SESSION['time']=$_POST['time'];
	$_SESSION['table']=$_POST['table'];
?>